大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Beijing PCST Working Symposium (2005) 的图书(共4642本)

Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings

0
索取号：
作者：Kauers、 Manuel.、Kerber、 Manfred.、Miner、 Robert.、Windsteiger、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Requirements Engineering: Foundation for Software Quality [electronic resource] : 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings

0
索取号：
作者：Sawyer、 Pete.、Paech、 Barbara.、Heymans、 Patrick.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31鈥ʵne 1, 2007. Proceedings

0
索取号：
作者：Nguyen、 Ngoc Thanh.、Grzech、 Adam.、Howlett、 Robert J.、Jain、 Lakhmi C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Service Availability [electronic resource] : 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007. Proceedings

0
索取号：
作者：Malek、 Miroslaw.、Reitenspie脽、 Manfred.、Moorsel、 Aad.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

0
索取号：
作者：Artemov、 Sergei N.、Nerode、 Anil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computational Science-ICCS 2007 [electronic resource] : 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV

0
索取号：
作者：Shi、 Yong.、Albada、 Geert Dick.、Dongarra、 Jack.、Sloot、 Peter M. A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computational Science-ICCS 2007 [electronic resource] : 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III

0
索取号：
作者：Shi、 Yong.、Albada、 Geert Dick.、Dongarra、 Jack.、Sloot、 Peter M. A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computational Science-ICCS 2007 [electronic resource] : 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II

0
索取号：
作者：Shi、 Yong.、Albada、 Geert Dick.、Dongarra、 Jack.、Sloot、 Peter M. A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computational Science-ICCS 2007 [electronic resource] : 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I

0
索取号：
作者：Shi、 Yong.、Albada、 Geert Dick.、Dongarra、 Jack.、Sloot、 Peter M. A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Neural Networks-ISNN 2007 [electronic resource] : 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part III

0
索取号：
作者：Liu、 Derong.、Fei、 Shumin.、Hou、 Zengguang.、Zhang、 Huaguang.、Sun、 Changyin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Neural Networks-ISNN 2007 [electronic resource] : 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part II

0
索取号：
作者：Liu、 Derong.、Fei、 Shumin.、Hou、 Zengguang.、Zhang、 Huaguang.、Sun、 Changyin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Neural Networks-ISNN 2007 [electronic resource] : 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part I

0
索取号：
作者：Liu、 Derong.、Fei、 Shumin.、Hou、 Zeng-Guang.、Zhang、 Huaguang.、Sun、 Changyin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Lasers in the Conservation of Artworks [electronic resource] : LACONA VI Proceedings, Vienna, Austria, Sept. 21鈥⵬ 2005

0
索取号：
作者：Nimmrichter、 Johann.、Kautek、 Wolfgang.、Schreiner、 Manfred.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Bioinformatics Research and Applications [electronic resource] : Third International Symposium, ISBRA 2007, Atlanta, GA, USA, May 7-10, 2007. Proceedings

0
索取号：
作者：M膬ndoiu、 Ion.、Zelikovsky、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Cooperative Bug Isolation [electronic resource] : Winning Thesis of the 2005 ACM Doctoral Dissertation Competition

0
索取号：
作者：Liblit、 Ben.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Public Key Cryptography-PKC 2007 [electronic resource] : 10th International Conference on Practice and Theory in Public-Key Cryptography Beijing, China, April 16-20, 2007. Proceedings

0
索取号：
作者：Okamoto、 Tatsuaki.、Wang、 Xiaoyun.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.